Prime implicant